Materialization Optimizations for Feature Selection Workloads Ce Zhang†‡ † Arun Kumar†

Source URL: cs.stanford.edu

• Statistical inference
• Statistics
• Machine learning
• Probability and statistics
• Model selection
• Statistical classification
• Computational statistics
• Dimension reduction
• Feature selection
• Support vector machine
• Linear regression
• Static single assignment form

ARA SSIA FormaCryptTwo models for the verification of cryptographic protocols: computational model formal, “Dolev-Yao” model enc(M,k

Source URL: prosecco.gforge.inria.fr

JOURNAL OF COMPUTATIONAL BIOLOGY Volume 12, Number 6, 2005 © Mary Ann Liebert, Inc. Pp. 822–834 A Discriminative Model for Identifying Spatial

Source URL: genie.weizmann.ac.il

An Adaptive Computational Model for Personalized Persuasion

Source URL: ijcai.org

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

Journal of Machine Learning Research–1155 Submitted 4/02; Published 2/03 A Neural Probabilistic Language Model Yoshua Bengio

Source URL: machinelearning.wustl.edu

• Machine learning
• Statistics
• Artificial neural networks
• Artificial intelligence
• Computational neuroscience
• Computational statistics
• Markov models
• Language model
• Mixture model
• Principal component analysis
• Speech recognition
• Recurrent neural network

3 Scientific Information 3.1

Source URL: www.ite.ethz.ch

• Computational complexity theory
• Analysis of algorithms
• Online algorithms
• Computer science
• Theory of computation
• Competitive analysis
• List update problem
• Adversary model
• Algorithm
• Randomized algorithm
• Travelling salesman problem
• Time complexity

A Computational Model of Hepatic Glucose Metabolism Year: 2008 Abstract Number: 2667-PO Authors: REBECCA A. BAILLIE, RICHARD HO, PAUL BRAZHNIK, Cupertino, CA Results:

Source URL: www.rosaandco.com

Using Compiler Techniques to Improve Automatic Performance Modeling Arnamoy Bhattacharyya, Grzegorz Kwasniewski, Torsten Hoefler Department of Computer Science ETH Zurich Zurich, Switzerland Email: arnamoyb, grzegorz.kwa

Source URL: htor.inf.ethz.ch

• Computational neuroscience
• Artificial neural network
• Mathematical psychology
• Analysis of algorithms
• Mathematical model

Statistically stable velocity macro-model estimation Eric A. Dussaud Thesis Proposal, December 5th, 2003 Committee: Dr. William W. Symes (chair) - Dept. of Computational and Applied Mathematics

Source URL: trip.rice.edu